Jane Hillston : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (71)
Les plus populaires
Liste
- Liste
- Tableau

1

Experiential AI

Hemment, Drew, Aylett, Ruth, Belle, Vaishak, Murray-Rust, Dave, Luger, Ewa, Hillston, Jane, Rovatsos, Michael, Broz, Frank

Journal:

Année:

2019

Langue:

english

Fichier:

PDF, 1.54 MB

english, 2019

2

Replicated Computations Results (RCR) Report for “Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language”

Journal:

ACM Transactions on Modeling and Computer Simulation

Année:

2017

Langue:

english

Fichier:

PDF, 56 KB

english, 2017

3

ProPPA

Georgoulas, Anastasis, Hillston, Jane, Sanguinetti, Guid

Journal:

ACM Transactions on Modeling and Computer Simulation

Année:

2018

Langue:

english

Fichier:

PDF, 935 KB

english, 2018

4

[Lecture Notes in Computer Science] Formal Methods for Performance Evaluation Volume 4486 || From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

Bernardo, Marco, Hillston, Jane

Année:

2007

Langue:

english

Fichier:

PDF, 590 KB

english, 2007

5

Continuous approximation of collective system behaviour: A tutorial

Bortolussi, Luca, Hillston, Jane, Latella, Diego, Massink, Mieke

Journal:

Performance Evaluation

Année:

2013

Langue:

english

Fichier:

PDF, 1.37 MB

english, 2013

6

Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions

Reijsbergen, Daniël, Gilmore, Stephen, Hillston, Jane

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2015

Langue:

english

Fichier:

PDF, 1.84 MB

english, 2015

7

[Lecture Notes in Computer Science] Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Volume 9700 || Spatial Representations and Analysis Techniques

Bernardo, Marco, De Nicola, Rocco, Hillston, Jane

Année:

2016

Langue:

english

Fichier:

PDF, 596 KB

english, 2016

8

Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems

Feng, Cheng, Hillston, Jane, Galpin, Vashti

Journal:

ACM Transactions on Modeling and Computer Simulation

Année:

2016

Langue:

english

Fichier:

PDF, 1019 KB

english, 2016

9

Moment-based availability prediction for bike-sharing systems

Feng, Cheng, Hillston, Jane, Reijsbergen, Daniël

Journal:

Performance Evaluation

Année:

2017

Langue:

english

Fichier:

PDF, 875 KB

english, 2017

10

Performance investigation of an on-line auction system

Jane Hillston, Leïla Kloul

Journal:

Concurrency and Computation: Practice and Experience

Année:

2001

Langue:

english

Fichier:

PDF, 167 KB

english, 2001

11

A tool to enhance model exploitation

Journal:

Performance Evaluation

Année:

1995

Langue:

english

Fichier:

PDF, 1.33 MB

english, 1995

12

Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

Federica Ciocchetta, Jane Hillston

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 314 KB

english, 2008

13

Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems

Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 404 KB

english, 2009

14

Bio-PEPA for Epidemiological Models

Federica Ciocchetta, Jane Hillston

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2010

Langue:

english

Fichier:

PDF, 706 KB

english, 2010

15

A Structural Approach for Modelling Performance of Systems Using Skeletons

Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 338 KB

english, 2007

16

Improved Continuous Approximation of PEPA Models through Epidemiological Examples

Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 371 KB

english, 2009

17

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA

Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 455 KB

english, 2009

18

Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA

Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey

Journal:

Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 1.95 MB

english, 2008

19

A semantic equivalence for Bio-PEPA based on discretisation of continuous values

Vashti Galpin, Jane Hillston

Journal:

Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 590 KB

english, 2011

20

Unified specification and performance evaluation using stochastic process algebras

Roberto Gorrieri, Ulrich Herzog, Jane Hillston

Journal:

Performance Evaluation

Année:

2002

Langue:

english

Fichier:

PDF, 28 KB

english, 2002

21

PEPA nets: a structured performance modelling formalism

Stephen Gilmore, Jane Hillston, Leı̈la Kloul, Marina Ribaudo

Journal:

Performance Evaluation

Année:

2003

Langue:

english

Fichier:

PDF, 311 KB

english, 2003

22

Product form solution for a class of PEPA models

Jane Hillston, Nigel Thomas

Journal:

Performance Evaluation

Année:

1999

Langue:

english

Fichier:

PDF, 200 KB

english, 1999

23

Formal techniques for performance analysis: blending SAN and PEPA

Jane Hillston, Leïla Kloul

Journal:

Formal Aspects of Computing

Année:

2007

Langue:

english

Fichier:

PDF, 634 KB

english, 2007

24

Performance Modelling of Content Adaptation for a Personal Distributed Environment

Jie Ding, Jane Hillston, Dave Laurenson

Journal:

Wireless Personal Communications

Année:

2009

Langue:

english

Fichier:

PDF, 830 KB

english, 2009

25

A Reservation Optimised Advance Resource Reservation Scheme for Deploying RSVP in Mobile Environments

Hao Wang, David I. Laurenson, Jane Hillston

Journal:

Wireless Personal Communications

Année:

2010

Langue:

english

Fichier:

PDF, 584 KB

english, 2010

26

Fuzzy mathematical techniques with applications: This book by Abraham Kandel was published by Addison-Wesley in 1986

Journal:

Fuzzy Sets and Systems

Année:

1988

Langue:

english

Fichier:

PDF, 581 KB

english, 1988

27

Securing Statically-verified Communications Protocols Against Timing Attacks

Mikael Buchholtz, Stephen Gilmore, Jane Hillston, Flemming Nielson

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 332 KB

english, 2005

28

HYPE Applied to the Modelling of Hybrid Biological Systems

Vashti Galpin, Jane Hillston, Luca Bortolussi

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 372 KB

english, 2008

29

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models

Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston

Journal:

Journal of Computer and System Sciences

Année:

2008

Langue:

english

Fichier:

PDF, 310 KB

english, 2008

30

Relating continuous and discrete PEPA models of signalling pathways

Nil Geisweiller, Jane Hillston, Marco Stenico

Journal:

Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 549 KB

english, 2008

31

Cost-based admission control for Internet Commerce QoS enhancement

Yussuf Abu Shaaban, Jane Hillston

Journal:

Electronic Commerce Research and Applications

Année:

2009

Langue:

english

Fichier:

PDF, 1.41 MB

english, 2009

32

Bio-PEPAd: A non-Markovian extension of Bio-PEPA

Giulio Caravagna, Jane Hillston

Journal:

Theoretical Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 539 KB

english, 2012

33

Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems

Hillston, Jane, Kwiatkowska, Marta, Telek, Miklós

Journal:

IEEE Transactions on Software Engineering

Année:

2009

Langue:

english

Fichier:

PDF, 82 KB

english, 2009

34

Fluid Rewards for a Stochastic Process Algebra

Tribastone, Mirco, Ding, Jie, Gilmore, Stephen, Hillston, Jane

Journal:

IEEE Transactions on Software Engineering

Année:

2012

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2012

35

[Lecture Notes in Computer Science] Formal Methods for Performance Evaluation Volume 4486 || Introduction to Software Performance Engineering: Origins and Outstanding Problems

Bernardo, Marco, Hillston, Jane

Année:

2007

Langue:

english

Fichier:

PDF, 425 KB

english, 2007

36

Bio-PEPA: A framework for the modelling and analysis of biological systems

Federica Ciocchetta, Jane Hillston

Journal:

Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 1.44 MB

english, 2009

37

[Lecture Notes in Computer Science] Formal Methods for Performance Evaluation Volume 4486 || Stochastic Model Checking

Bernardo, Marco, Hillston, Jane

Année:

2007

Langue:

english

Fichier:

PDF, 1.21 MB

english, 2007

38

[Lecture Notes in Computer Science] Formal Methods for Performance Evaluation Volume 4486 || Introduction to Generalized Stochastic Petri Nets

Bernardo, Marco, Hillston, Jane

Année:

2007

Langue:

english

Fichier:

PDF, 911 KB

english, 2007

39

Computational models in systems biology

Laurence Loewe, Jane Hillston

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 56 KB

english, 2008

40

HYPE: Hybrid modelling by composition of flows

Vashti Galpin, Luca Bortolussi, Jane Hillston

Journal:

Formal Aspects of Computing

Année:

2013

Langue:

english

Fichier:

PDF, 1.62 MB

english, 2013

41

A model of flux regulation in the cholesterol biosynthesis pathway: Immune mediated graduated flux reduction versus statin-like led stepped flux reduction

Watterson, Steven, Guerriero, Maria Luisa, Blanc, Mathieu, Mazein, Alexander, Loewe, Laurence, Robertson, Kevin A., Gibbs, Holly, Shui, Guanghou, Wenk, Markus R., Hillston, Jane, Ghazal, Peter

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 863 KB

english, 2013

42

A General Performance Evaluation Framework for Network Selection Strategies in 3G-WLAN Interworking Networks

Wang, Hao, Laurenson, David I., Hillston, Jane

Journal:

IEEE Transactions on Mobile Computing

Année:

2013

Langue:

english

Fichier:

PDF, 2.22 MB

english, 2013

43

Conservation of Mass Analysis for Bio-PEPA

Clark, Allan, Gilmore, Stephen, Guerriero, Maria Luisa, Hillston, Jane

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 268 KB

english, 2013

44

Stochastic Modelling of the Kai-based Circadian Clock

Banks, Chris, Clark, Allan, Georgoulas, Anastasis, Gilmore, Stephen, Hillston, Jane, Milios, Dimitrios, Stark, Ian

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 421 KB

english, 2013

45

[IEEE 2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST) - London, United Kingdom (2012.09.17-2012.09.20)] 2012 Ninth International Conference on Quantitative Evaluation of Systems - Fluid Approximation of CTMC with Deterministic Delays

Bortolussi, Luca, Hillston, Jane

Année:

2012

Langue:

english

Fichier:

PDF, 360 KB

english, 2012

46

[IEEE 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST) - Budapest, Hungary (2009.09.13-2009.09.16)] 2009 Sixth International Conference on the Quantitative Evaluation of Systems - The Bio-PEPA Tool Suite

Ciocchetta, Federica, Duguid, Adam, Gilmore, Stephen, Guerriero, Maria Luisa, Hillston, Jane

Année:

2009

Langue:

english

Fichier:

PDF, 227 KB

english, 2009

47

[IEEE 2009 Winter Simulation Conference - (WSC 2009) - Austin, TX, USA (2009.12.13-2009.12.16)] Proceedings of the 2009 Winter Simulation Conference (WSC) - Design and development of software tools for Bio-PEPA

Duguid, Adam, Gilmore, Stephen, Guerriero, Maria Luisa, Hillston, Jane, Loewe, Laurence

Année:

2009

Langue:

english

Fichier:

PDF, 624 KB

english, 2009

48

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - On the Quality of Service of Crash-Recovery Failure Detectors

Ma, Tiejun, Hillston, Jane, Anderson, Stuart

Année:

2007

Langue:

english

Fichier:

PDF, 735 KB

english, 2007

49

[IEEE 2010 Winter Simulation Conference - (WSC 2010) - Baltimore, MD, USA (2010.12.5-2010.12.8)] Proceedings of the 2010 Winter Simulation Conference - VERIFICATION AND TESTING OF BIOLOGICAL MODELS

Clark, Allan, Hillston, Jane, Gilmore, Stephen, Kemper, Peter

Année:

2010

Langue:

english

Fichier:

PDF, 298 KB

english, 2010

50

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Hybrid Semantics for PEPA

Bortolussi, Luca, Galpin, Vashti, Hillston, Jane, Tribastone, Mirco

Année:

2010

Langue:

english

Fichier:

PDF, 323 KB

english, 2010